戈朗 : Type aliasing Structures That Meet a Interface Requirement